$\forall$${\it es}$:ES, $e$:E, $P$:(\{${\it e'}$:E$\mid$ loc(${\it e'}$) = loc($e$) $\in$ Id\} $\rightarrow\mathbb{P}$). $\exists$${\it e'}$$\geq$$e$.$P$(${\it e'}$) $\in$ $\mathbb{P}$